1. All About Maude--A High-performance Logical Framewor
Author: / Manuel Clavel ... [et al.
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Computer logic.,Rewriting systems (Computer science),Human information processing.
Classification :
QA
,
76
.
9
,.
L63
,
C6555
,
2007
